Reasoning about Grover ’ s Quantum Search
نویسنده
چکیده
MICHAEL BUTLER and PIETER HARTEL Department of Electronics & Computer Science University of Southampton Southampton SO17 1BJ United Kingdom {mjb,phh}@ecs.soton.ac.uk Grover's search algorithm is designed to be executed on a quantum-mechanical computer. In this paper, the probabilistic wp-calculus is used to model and reason about Grover's algorithm. It is demonstrated that the calculus provides a rigorous programming notation for modelling this and other quantum algorithms and that it also provides a systematic framework of analysing such algorithms.
منابع مشابه
ar X iv : q ua nt - p h / 98 10 06 6 v 1 2 2 O ct 1 99 8 Reasoning about Grover ’ s Quantum Search Algorithm using Probabilistic wp
Grover’s search algorithm is designed to be executed on a quantum mechanical computer. In this paper, the probabilistic wp-calculus is used to model and reason about Grover’s algorithm. It is demonstrated that the calculus provides a rigorous programming notation for modelling this and other quantum algorithms and that it also provides a systematic framework of analysing such algorithms.
متن کاملA Logic for Quantum Circuits and Protocols
A logic for reasoning about quantum circuits and protocols is proposed. It incorporates the basic features of quantum theoryprobability, unitary dynamics, tensor products and measurement. The underlying language could be used for verification and synthesis of quantum circuits. Important algorithms like the quantum search algorithm of Grover are discussed. The logic also forms the foundation on ...
متن کاملGeneralized Quantum Search Hamiltonian
There are hamiltonians that solve a search problem of finding one of N items in O( √ N) steps. They are hamiltonians to describe an oscillation between two states. In this paper we propose a generalized search hamiltonian, Hg. Then the known search hamiltonians become special cases of Hg. From the generalized search hamiltonian, we present remarkable results that searching with 100% is subject ...
متن کاملQuantum Computing with NMR: Deutsch-Josza and Grover Algorithms
A Bruker Avance 200 NMR Spectrometer was used to perform simple quantum computations on a two quantum-bit (qubit) bulk system of CHCl4. Base states |00〉 were created through the process of temporal averaging. The logic of the controlled-NOT (CNOT) gate was observed and used in the application of the Deutsch-Josza and Grover algorithms. The Deutsch-Josza algorithm was successfully used to determ...
متن کاملDynamic Grover Search: Applications in Recommendation systems and Optimization problems
In the recent years we have seen that Grover search algorithm [1] by using quantum parallelism has revolutionized the field of solving huge class of NP problems in comparison to classical systems. In this work we explore the idea of extending the Grover search algorithm to approximate algorithms. Here we try to analyze the applicability of Grover search to process an unstructured database with ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006